4 BANACH ALGEBRAS WITH INVOLUTION. STAR ALGEBRAS 335
(15.4.7) Let E be a complex Hilbert space. Then the Banach algebra
A = «£?(£) (15.1.6) is a star algebra with respect to the involution wh-»w*
(15.4.8) Let E be an infinite-dimensional separable complex Hilbert space.
An operator u e £? (E) is said to be a Hilbert-Schmidt operator if, for one
choice of a Hilbert basis (#„), the series with general term |lw(<2n)||2 is con-
vergent. If (&„) is another Hilbert basis of E, then ||w(an)||2 = £ \(u(an) I *m)l2
by Parseval's identity (6.5.2), and therefore the series £ l|w(an)||2 converges
if and only if the double family (\(u(an)\bm)\2) *s summable (5.3.4).
by Parseval's identity. Hence an equivalent condition is that the series with
general term || u*(bn)\\2 should be convergent. It follows that, if w is a Hilbert-
Schmidt operator, the series with general term ||w(^)||2 converges for all
choices of the Hilbert basis (#„), that w* is a Hilbert-Schmidt operator, and
that the number
(22.214.171.124) Nl2 = (III«(a«)lrl =II"*II2
is independent of the Hilbert basis (an) chosen. We shall show that the set
J*?2(E) of Hilbert-Schmidt operators is an algebra, on which \\u\\2 is a norm,
and that, endowed with this norm and the involution u\—»u*, the algebra
j*?2(E) is a Banach algebra with involution, without unit element.
The fact that w is a Hilbert-Schmidt operator also means that, if (an) is
any Hilbert basis of E, the sequence (||w(#n)||) eRN belongs to the Hilbert
space /R (6.5), and the norm of this sequence in /£ is equal to ||w||2. If
u, i?eJ$?2(E), then the inequality \\(u + v)(an)\\ <jj \\u(an)\\ + \\v(an)\\ and the
preceding remark show that u H- v e J^2(E) and that \\u + v\\2 ^ \\u\\2 + ||u||2.
Clearly also Aw e &2(E) for all A e C, and ||Aw||2 = |A| • \\tt\\2.
For every continuous operator w e J£(E), the operator w o u is a Hilbert-
Schmidt operator, by reason of the inequality
l|H<w(0B))|| <£ ||w|| • \\u(an)\\
(5.5.1), and we have
(126.96.36.199) l|woW||2g ||w|| • ||w||2.1,